module Fixme where

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