Changes between Initial Version and Version 1 of Ticket #15869, comment 1


Ignore:
Timestamp:
Jan 18, 2019 3:57:52 PM (9 months ago)
Author:
RyanGlScott
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #15869, comment 1

    initial v1  
    44{-# LANGUAGE DataKinds #-}
    55{-# LANGUAGE ImpredicativeTypes #-}
     6{-# LANGUAGE LiberalTypeSynonyms #-}
    67{-# LANGUAGE PolyKinds #-}
    78{-# LANGUAGE TypeFamilies #-}