module Bugs where

data A a = A a (a -> Int)