No matches were found for subject:"\[Haskell\-cafe\] RankNTypes \+ ConstraintKinds to use Either as a union"