packages feed

liquidhaskell-0.8.0.2: tests/parser/pos/TokensAsPrefixes.hs

module Fixme where

{-@ instancesB :: Int -> Int @-}
instancesB :: Int -> Int
instancesB x = x