added pathFair defined with Logic Monad
added transfoormers package