{-# LANGUAGE TypeInType #-}

module Type.Any where

type family AnyType :: k