liquidhaskell-0.8.10.7: typeclass-tests/Data/Dual.hs

{-# LANGUAGE RankNTypes #-}
{-@ LIQUID "--reflection" @-}
{-@ LIQUID "--ple" @-}


module Data.Dual where

{-@ data Dual a = Dual {getDual :: a} @-}
data Dual a = Dual {getDual :: a}