@@ -28,8 +28,10 @@ extensions turned on:
2828{-# LANGUAGE DataKinds #-}
2929{-# LANGUAGE DeriveGeneric #-}
3030{-# LANGUAGE DuplicateRecordFields #-}
31+{-# LANGUAGE FlexibleContexts #-}
3132{-# LANGUAGE NoMonomorphismRestriction #-}
3233{-# LANGUAGE TypeApplications #-}
34+
3335```
3436
3537# Taxonomy of optics