[fire_lake]

You can do monads without HKT but it is much more manual. You need to compose monad transformers yourself, for example.