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