sadness is PrimMonad not having Functor or Applicative constraints