module DiffKindsSameName.LibA where foreign import kind DemoKind