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