test :: F '[Monad, A, B] m => m ()