[Haskell] implicit responses/values