added the jail method to the MonadFree class I ought to find and add some laws about this class
added the jail method to the MonadFree class
I ought to find and add some laws about this class

pepeiborra/narradar,pepeiborra/narradar,pepeiborra/narradar