WIP.
Use operational monad.
Don't drop second part of bind.
Add json schema type.
Merge pull request #1 from haskell-servant/jkarni/constrainedClass

Jkarni/constrained class