Instantly share code, notes, and snippets.
Basic unit type:
λ> replTy "()" () :: ()
Basic functions: