monadic calculator!