No matches were found for subject:"\[Haskell\-cafe\] Re\: Proposal\: Sum type branches as extended types \(as Type\!Constructor\)"