I think the `*T` types are monad transformer types...
# arrow
b
I think the
*T
types are monad transformer types, in which case it might just be easiest to use
IO
even if it seems like overkill