: warning: Cannot eta expand ‘coerce’ The following type does not have a fixed runtime representation: • a :: TYPE k Substitution: in coerce BAD 1 : warning: Cannot eta expand ‘coerce’ The following type does not have a fixed runtime representation: • a :: TYPE q Substitution: in coerce BAD 2