하스켈 같으면 existential type이 있긴 함. oop로 말하자면 down casting안되는 super class 같은거임.
가능한 타입의 경우가 정해져 있으면 그냥 sum type 쓰면 되고. 이건 그냥 원래 타입을 바로 꺼낼 수 있음
하스켈 같으면 existential type이 있긴 함. oop로 말하자면 down casting안되는 super class 같은거임.
가능한 타입의 경우가 정해져 있으면 그냥 sum type 쓰면 되고. 이건 그냥 원래 타입을 바로 꺼낼 수 있음