걍 딴언어에서 널러블 타입일 때 널체크 없이 ?.로 체이닝하던걸

일반화한거였네



근데 Option이나 Either 같은거는 아래 그림처럼 쉽게 이을 수 있다해도



모나드 종류보니까 State 모나드, Reader 모나드, Free 모나드 같이 종류 많던데

이때 동작들이 다 정의할 수 있는건지 의문 ㅇㅇ