typelevel-1.2.2: src/Type/Any.hs

{-# LANGUAGE TypeInType #-}

module Type.Any where

type family AnyType :: k