Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype P_Q_T (p :: * -> * -> *) (q :: * -> * -> *) (t :: * -> *) (a :: *) (b :: *) Source #
P_Q_T (p a (q (t b) a)) |
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
newtype P_Q_T (p :: * -> * -> *) (q :: * -> * -> *) (t :: * -> *) (a :: *) (b :: *) Source #
P_Q_T (p a (q (t b) a)) |