Infinite Type
Infinite type sounds not good since we have no idea how much space would it take. Consider...
Tags: plt, language