kostar : för V , är V. „monad