Data.Options.UntaggedUnion

optU :: forall o v h t. InOneOf v h t => Proxy (OneOf h t) -> String -> Option o v

Creates an option over a type v that can be coerced using InOneOf.

The h and t type parameters are provided through a proxied OneOf type.

untaggedToOptions :: forall o v h t. InOneOf v h t => Proxy (OneOf h t) -> String -> v -> Options o

Builds an Options o from a v that can be coerced using InOneOf.

Similar to optU, the h and t type parameters are provided through a proxied OneOf type.