{-# LANGUAGE TypeFamilies #-} module FamilyVarid where
f
family
forall
=
undefined