Complete maybe transformer.
Either's concept implementations are now parametrised by R instead of L.
Fixed L/R mixup.
Parser combinator tutorial code updated to new either behaviour.