The solver can solve `Bool ~ Maybe Bool`!
This is captured in test ./typechecker/test/cases/should-fail/notToMaybe-infer.hs.
This is captured in test ./typechecker/test/cases/should-fail/notToMaybe-infer.hs.
added Bug constraint solver implementation labels
closed with commit 11d7511d