From Infinite Type to Functor
At infinite type I mention a way(recursive abstract data type) to make we use Option[T] just like T....
Tags: plt, language, haskell