Hell yeah! Monad QuickCheck over my transformer stack! :clapper: