Tests using PrimMonad, related to #23