map
ResultT
modally
core