Make pattern matching of nullary ADT's work