wang-d

**Is your feature request related to a problem? Please describe.** I'm getting lots of conflicts with GNOME or other programs when I try to customize the keyboard shortcuts. Also, Super...

`[@@deriving quickcheck]` causes type error

6

``` type 'a t = Zero | Succ of 'a t [@@deriving quickcheck] ``` causes this error: ``` This expression should not be a function, the expected type is 'a...