For example:
fun example (a:'a list) : list = a
will have a signatures of:
'a list -> 'a list
What if I define it differently but with same content like
fun example (a : ''a list) : list = a
its signature will be:
''a list -> ''a list
What's the difference?