-- Strictness annotations are ignored

convertType (HsRecTy NOEXTP _fields) =
  convUnsupported' "record types"
convertType (HsRecTy NOEXTP _fields) =
  convUnsupported' "record types"
convertType (HsRecTy NOEXTP _fields) =
  convUnsupported' "record types"