return v xs= [(v, xs)]

class Monad m where
	return	:: a-> m a