module ExplicitA where

a1 :: String
a1 = "a1"

a2 :: String
a2 = "a2"