splits RTyApp
GHC Invariant
monad tests