Data.Piso

Partial isomorphisms

data Piso a b

forward

backward

class FromPiso cat

data h :- t