1 2 3 4 5 6 7 8 9 10
module Possibly where data Possibly a = LolNope | Yeppers a deriving (Eq, Show) instance Functor Possibly where fmap f LolNope = LolNope fmap f (Yeppers x) = Yeppers $ f x