1 2 3 4 5 6 7 8
{-# LANGUAGE PartialTypeSignatures #-} module WildcardInInstanceHead where class Foo k where bar :: k instance Foo _ where bar = 3