T10811.hs 130 Bytes
Newer Older
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 |])