Option2.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 = ?stuff3

Applicative Option where
  pure = ?stuff1
  (<*>) = ?stuff2

Monad Option where
  (>>=) = ?stuff