Add imports to stop -feature warnings
Add some utility stuff
Wrapped calls now return wrapped monads