liquidhaskell-0.7.0.0: tests/pos/DataKinds.hs

{-# LANGUAGE DataKinds #-}

module ProxyClass where

import           Data.Proxy


{-@ sizeOfMember :: Proxy a -> Nat @-}
sizeOfMember :: Proxy a -> Int
sizeOfMember = undefined