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