bind package:selective

Monadic bind.
A restricted version of monadic bind. Fails with an error if the Bounded and Enum instances for a do not cover all values of a.
A restricted version of monadic bind.