module spec GHC.Maybe where

data Maybe a = Nothing | Just a