Patterns

data Pattern

data Refs

emptyRef

union

newRef

reverseLookupRef

lookupRef

hasRecursion

nullable

unescapable