1. Experimenting to see if a practically useful monad library can be made for a popular statically-typed language: Java[0] or TypeScript[1]

2. Always wanted a type-safe way to construct efficient SQL queries building bottom-up as in SQL rather than left-to-right as in ORMs[2].

3. A framework using (1) and (2) so building backends are not time-consuming or error-prone. Still in early stages.

[0] https://github.com/karmakaze/moja

[1] https://github.com/karmakaze/monadts

[2] https://github.com/karmakaze/safeql