:: a -> b package:mtl

Is used within a monadic computation to begin exception processing.