liquidhaskell-0.8.10.7: tests/todo/T1326B.hs

{-@ LIQUID "--reflection"  @-}

module T1326B where

import T1326A 

data Program l = PHole | Pg {pTerm :: Term l }