Turned on ScopedTypeVariables but not using explicit forall in signatures. Issue #33