TypeSig
Impl
termName
Field
toOption
Result
Failure
Success
tupleNamePattern
Impl