@@ -28,8 +28,10 @@ extensions turned on:
28{-# LANGUAGE DataKinds #-}
28{-# LANGUAGE DataKinds #-}
29{-# LANGUAGE DeriveGeneric #-}
29{-# LANGUAGE DeriveGeneric #-}
30{-# LANGUAGE DuplicateRecordFields #-}
30{-# LANGUAGE DuplicateRecordFields #-}
31+{-# LANGUAGE FlexibleContexts #-}
31{-# LANGUAGE NoMonomorphismRestriction #-}
32{-# LANGUAGE NoMonomorphismRestriction #-}
32{-# LANGUAGE TypeApplications #-}
33{-# LANGUAGE TypeApplications #-}
35# Taxonomy of optics
37# Taxonomy of optics