diff --git a/src/Quasar/Wayland/Core.hs b/src/Quasar/Wayland/Core.hs index 5fcfac87cca6cc36ef21dda526893a7e8a6eaf51..0b600fbcc1edb8c586b034a512becce3d3fbfeec 100644 --- a/src/Quasar/Wayland/Core.hs +++ b/src/Quasar/Wayland/Core.hs @@ -141,14 +141,9 @@ instance IsSide 'Server where getDown :: forall m i. IsInterface i => Object 'Server m i -> Opcode -> Get (Down 'Server i) getDown = getMessage @(Down 'Server i) -class - ( - IsSide s, - IsInterface i, - IsMessage (Up s i), - IsMessage (Down s i) - ) - => IsInterfaceSide (s :: Side) i where + +-- | Empty class, only required to combine constraints +class (IsSide s, IsInterface i, IsMessage (Up s i), IsMessage (Down s i)) => IsInterfaceSide (s :: Side) i -- | Data kind