{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE FlexibleInstances #-}

module Data.Type.Internal.Body where

import Data.Type.Kind
import Data.Type.Internal.Framework
import Data.Type.Internal.TH
import Data.Type.Internal.Derive

declareTypeDatas
-- declareTypeWrapperInstances
declareMetaClasses
declareMetaInstances