Add .gitignore
Remove unnecessary `where`
Replace `:=>` by `Supports`