import TutorialBasic ()
import TutorialBasicMonomorphic ()
import TutorialBasicTypeFamilies ()
import TutorialManipulation ()
import TutorialAdvanced ()
import DefaultExplanation ()

main :: IO ()
main = return ()