Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / T9201.hs
1 {-# LANGUAGE PolyKinds, FunctionalDependencies, MultiParamTypeClasses #-}
2
3 module T9201 where
4
5 class MonoidalCCC (f :: x -> y) (d :: y -> y -> *) | f -> d where
6 ret :: d a (f a)