1 2 3 4 5 6 7
{-# LANGUAGE RankNTypes, PolyKinds, TypeFamilies #-} module ExplicitSpecificity3 where type family F {k} (a::k) :: * type instance F String = Int