Block a user
Fix coerce/3 when applied to namespace types, and type parameters inside record types.
Just like to point out that what @spivee did in the end there is great. Makes making a "single decision at a time" much easier to see and reason about. Very nice.