1{-# LANGUAGE TypeFamilies #-}
2module FamilyVarid where
3f family forall = undefined
4