dialyzer, y u no support opaque polymorphic types