blob: edbb9344944ce338c09065a13a30076a0bc90c88 (
plain) (
tree)
|
|
{-# LANGUAGE TypeOperators #-}
module TypeOperators (
-- * stuff
(:-:),
(:+:),
Op,
O(..),
biO,
) where
data a :-: b
data (a :+: b) c
data a `Op` b
newtype (g `O` f) a = O { unO :: g (f a) }
biO :: (g `O` f) a
biO = undefined
|