{-|
Alternative typeclass extending Applicative with choice and failure.

Requires: applicative, empty, or.
-}
\(F : Type -> Type) ->
  { applicative : ../Applicative/Type.dhall F
  , empty : forall (A : Type) -> F A
  , or : forall (A : Type) -> F A -> F A -> F A
  }