Fix "well-formed types"