module Foo where

data What = What
  deriving (Show)

what :: Int -> Maybe What
what 0 = Just What
what _ = Nothing