Control.Final

substituteType

funType

funCall

makeFinalIso

makeFinalType