1 2 3 4 5
T8165_fail2.hs:9:12: error: The type family application ‘T Loop’ is no smaller than the instance head (Use UndecidableInstances to permit this)