{-# LANGUAGE TypeInType #-}
module
Type.Any
where
type
family
AnyType
::
k