--------------
-- If typechecking the binds fails, then return with each
-- signature-less binder given type (forall a.a), to minimise
--------------
-- If typechecking the binds fails, then return with each
-- signature-less binder given type (forall a.a), to minimise