brittany-0.14.0.0: data/Test316.hs

test :: Proxy '[ 'True]