{-# LANGUAGE DataKinds #-}
module T21752 where

import T21752A

type T = TYPE

type F m a b = FUN m a b

type M = Many

type O = One