Explicitly kind type family parameters (closes issue #3).