Module sty 

Structs

LateParamRegion

The parameter representation of late-bound function parameters, “some region at least as big as the scope fr.scope”.

Region

Use this rather than RegionKind, whenever possible.