Arrow in type family return kind shouldn't be generalised
As pointed out in #14 (closed), this is confusing, as it turns such type families matchability-indexed. Instead, we should look at the defining equations and work out from there which monomorphic arrow to pick.