{-# LANGUAGE TypeFamilies #-}
module FamilyVarid where

f family forall = undefined