[kikimora]

Do effects became part of the function type? Without compiler checking for effect handlers it will be very hard to use.