testsuite/tests/typecheck/should_fail/tcfail217.hs


1
2
3
4
5
6
7

-- Test we can't hide cycles with type synonyms
{-# LANGUAGE ConstraintKinds, MultiParamTypeClasses, UndecidableInstances #-}
module TcFail where

type Aish = A

class cls (Aish cls) => A cls c where