{-# LANGUAGE TypeData #-}
module T22817 where

type data BoolKind = FalseType | TrueType