Remove unnecessary `where`
Replace `:=>` by `Supports`