Witch.Identity

Documentation

type family Identity a where ...

This is an ugly hack used to make GHC require type applications for certain functions. See this Twitter thread for a discussion: https://twitter.com/taylorfausak/status/1329084033003782148.

Equations

Identity Never = ()

Identity a = a

data Never

Never use this type for anything! It only exists to make the Identity type family non-trivial.