TypeSig
Impl
toOption
Result Failure Success
tupleNamePattern
Impl