Tiny Haskell library for checking conditions and enforcing with types