Control.Lens.Simple

type s :-> a

type s :=> a

type s :<-> a