testsuite/tests/typecheck/should_fail/T9201.hs


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)