packages feed

brittany-0.14.0.0: data/Test182.hs

{-# LANGUAGE StarIsType #-}
type MySynonym (a :: * -> *)
  =  MySynonym a b
  -> MySynonym a b
  -> MyParamType a b
  -> MyParamType a b
  -> MySynonym2 b a