class Foo[X]
  def set: (X) -> void
  def get: -> ^() -> X
end