1{-# LANGUAGE ConstraintKinds #-}
2module ContextOrdering where
3
4foo :: (x m a) => Int
5foo = 5
6