1 2 3 4 5
{-# LANGUAGE TypeFamilies, NamedWildCards #-} module NamedWildcardInTypeFamilyInstanceLHS where type family F a where F _t = Int