Option3.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 = ?stuff1
  (<*>) = ?stuff2

Monad Option where
  (>>=) = ?stuff