more type signatures for @fmap