switching to different type notation, the more lenient type checking appears to be working now