(A -> R) -> R は継続モナドになるわけだが、
R -> A や A -> R もモナドにできるの?