@@ -461,7 +461,7 @@ ctorDecl n p rs = sfun noLoc c ps (UnGuardedRhs rhs) noBinds
461461 | otherwise = RecConstr (UnQual d) $
462462 map (uncurry (fieldUpdate p)) (Map.toList rs)
463463
464− ps = map (pname p) . Map.keys $ Map.filter required rs
464+ ps = map (pname p) . Map.keys $ Map.filter parameter rs
465465
466466fieldUpdate :: Prefix -> Local -> Solved -> FieldUpdate
467467fieldUpdate p l s = FieldUpdate (UnQual (fname p l)) rhs
@@ -469,7 +469,7 @@ fieldUpdate p l s = FieldUpdate (UnQual (fname p l)) rhs
469469 rhs | Just x <- def s, s ^. iRepeated = listE [x]
470470 | Just x <- def s = x
471471 | Just x <- iso (_type s) = infixApp x "#" v
472− | required s = v
472+ | parameter s = v
473473 | otherwise = var (name "Nothing")
474474
475475 v = var (pname p l)
@@ -491,7 +491,7 @@ lensDecl p l s = sfun noLoc (lname p l) [] (UnGuardedRhs rhs) noBinds
491491 (RecUpdate (var "s") [FieldUpdate (UnQual f) (var "a")])))
492492
493493parameters :: [Solved] -> [Type]
494−parameters = map (externalType . _type) . filter required
494+parameters = map (externalType . _type) . filter parameter
495495
496496def :: Solved -> Maybe Exp
497497def s