Haskell version of Idris !-notation (bang notation)

Question

I\'ve had the luxury of learning a bit of Idris lately and one thing I\'ve found extremely convenient is the !-notation, which let\'s me shorten monadic code inside a do block s

Answer 1

An alternative to @chi's answer is liftA3 someFunction a b c (with join if needed).