Error GHC-91510: illegal polymorphic type
Haskell Community [Unofficial]
June 21, 2026
This tells me I can’t do this because Objects is a constraint family. The error page for GHC-02550 suggests turning Objects into its own class, but then, how do I turn instance Objects (->) x into, say, Ord x?
Discussion in the ATmosphere