Data.TypeAlgebra

class Sum a b

class Prod a b