data Point (~>) f i o

_modify

data Lens (~>) f a

lens

get

set

modify

bimap

for

data Bijection (~>) a b

liftBij

class Iso (~>) f