- callfunc (thunk<class [ilx std]PrelIOBase_MVar<class [ilx std]PrelIOBase_Handle__>>) --> (func (unit) --> class [ilx std]PrelBase_Z0T)
- callfunc () --> (func (unit) --> class [ilx std]PrelBase_Z0T)
- ldunit
- callfunc (void) --> class [ilx std]PrelBase_Z0T
+ callfunc (thunk<class [ilx std]PrelIOBase_MVar<class [ilx std]PrelIOBase_Handle__>>) --> (func ( /* unit skipped */ ) --> class [ilx std]PrelBase_Z0T)
+ callfunc ( /* unit skipped */ ) --> class [ilx std]PrelBase_Z0T