TypeOperators

Contents

• stuff

Synopsis

• data a :-: b
• data (a :+: b) c
• data Op a b
• newtype O g f a = O {
  • unO :: g (f a)
  }
• biO :: (g `O` f) a

stuff