haskell-tools-builtin-refactorings-1.0.1.1: test/ExtensionOrganizerTest/ConstrainedClassMethodsTest/NullaryConstraint.hs

{-# LANGUAGE ConstrainedClassMethods #-}

module NullaryConstraint where

import Definitions

class C a where
  op :: C0 => a -> a