starting on EitherT
more
fiddling