In your cases `Option` is nested in `Either` so yo...
# arrow
s
In your cases
Option
is nested in
Either
so you would use
OptionT
(Inner data type)