고차원 Lift에 대해 알아보자. (map) High Dimensional lift 앞에서 배운 lift은 기본적으로 1변수를 변환할 수 있는 함수이다.
Monad는 어떻게 정의할 수 있을까? Monad Monad: 다음의 연산들이 정의된 Functor unit: T -> M<T> (return in Haskell) flat: M<M<T>> -> M<T> (join in Haskell) Functor에 unit하고 flat추가한게 모나드다.