함수형에 심취한 제 지인 두명이 범주론을 공부하더이다

함수형이 무섭습니다