haskell-tools-refactor-1.0.1.1: examples/Decl/InfixAssertion.hs

{-# LANGUAGE DataKinds, TypeOperators, KindSignatures, TypeFamilies #-}
module Decl.InfixAssertion where

import GHC.TypeLits

data Proxy (n :: Nat) = Proxy

divSNat :: (1 <= b) => Proxy b -> Proxy b
divSNat n = n