Option5.idr

-- Attempting to implement my own Maybe monad using the Option type naming from F#
data Option x = None
              | Some x

Functor Option where
  map f None = None
  map f (Some x) = Some (f x)

Applicative Option where
  pure x = Some x
  (<*>) (Some f) (Some x) = Some (f x)
  (<*>) _ _ = None

Monad Option where
  (>>=) None _ = None
  (>>=) (Some x) f = f x