blob: b04162880511a8bbeddb6fd7b46da5dd5881c9a1 (
plain)
1
2
3
4
5
6
7
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE PolyKinds, FunctionalDependencies, MultiParamTypeClasses #-}
module T9201 where
class MonoidalCCC (f :: x -> y) (d :: y -> y -> *) | f -> d where
ret :: d a (f a)
|