TypeSig
Impl
toOption
Result
Failure
Success
tupleNamePattern
Impl