kleisli: Modified tests based on McMaster example slide