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