`() -> *` gets erased indeed, can't type check ...
# getting-started
c
() -> *
gets erased indeed, can't type check on it