Documentation

data a :-: b

data (a :+: b) c

data Op a b

newtype O g f a

class a <=> b

biO :: (g `O` f) a

f :: a ~ b => a -> b

g :: (a ~ b, b ~ c) => a -> c

x :: (a :-: a) <=> (a `Op` a) => a

y :: (a <=> a, (a `Op` a) <=> a) => a