{-# LANGUAGE TypeFamilies #-}

type family TyFam
type instance TyFam = Int

tyblah' :: TyFam -> Int
tyblah' = _