T9200b.hs:8:5: error: [GHC-25897]
    • Expected kind ‘k’, but ‘True’ has kind ‘Bool’
    • In the first argument of ‘F’, namely ‘True’
      In the type family declaration for ‘F’