liquidhaskell-0.8.10.7: tests/todo-rebare/DataKinds.hs

{-# LANGUAGE DataKinds #-}

module ProxyClass where

import           Data.Proxy

-- TODO-REBARE: The following works ...
{- sizeOfMember :: _ -> Nat @-}

-- TODO-REBARE: ... but this does not. 
{-@ sizeOfMember :: Proxy a -> Nat @-}

sizeOfMember :: Proxy a -> Int
sizeOfMember = undefined