1 2 3 4 5 6 7 8
{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TemplateHaskell, TypeFamilies #-} module Bug where $([d| class C a where type F a type F a = a |])