gengen/gengen.hs

   1 {-# LANGUAGE GADTs, DeriveGeneric, DefaultSignatures, TypeOperators #-}
   2 module Main where
   3
   4 import GHC.Generics
   5
   6 data GType a where
   7     Unit :: GType (U1 p)
   8     Product :: (GType a) (GType b) -> GType ((a :*: b) p)
   9     Sum :: (GType a) (GType b) -> GType (a :+: b)
  10
  11
  12 main = putStrLn ""