> Type error: variable applied to wrong number of type args ... > Compile at your own peril! :-) No longer :-). The bug has been fixed.