tl;dr ORM's with type safety and comprehensive error checking are possible with statically typed languages provided the type system is flexible/powerful enough

http://ocharles.org.uk/blog/posts/2013-12-06-24-days-of-hack...

More in-depth interactive tutorial:

https://www.fpcomplete.com/school/starting-with-haskell/libr...