Control.Lens.Equality
type Equality s t a b
type Equality' s a
type AnEquality s t a b
type AnEquality' s a
runEq
substEq
mapEq
fromEq
simply
simple
data Identical a b s t