"data T x = (x,x,x)"
"data () = ()"
"data Either a b = Left a | Right b"
"data Maybe a = Nothing | Just a"
"data Bool = False | True"
"data Void = "
"type Not x = x -> Void"
