applyNominal ::
    Pure # N.NominalDecl T.Type ->
    T.Types # QVarInstances Pure ->
    Pure # Scheme T.Types T.Type
applyNominal nom params =
    _Pure # (nom ^. _Pure . N.nScheme & sTyp %~ subst params)
applyNominal ::
    Pure # N.NominalDecl T.Type ->
    T.Types # QVarInstances Pure ->
    Pure # Scheme T.Types T.Type
applyNominal nom params =
    _Pure # (nom ^. _Pure . N.nScheme & sTyp %~ subst params)
applyNominal nom params =
    _Pure # (nom ^. _Pure . N.nScheme & sTyp %~ subst params)