Restructure modules to prepare package split
Use regular monadic bind
Run benchmarks on travis